更高速(400+km/h)列车气动减阻技术发展与展望

合理有效的气动减阻技术是我国研发运营速度400+?km/h高速列车的过程需展开深入研究的重点内容.首先阐述了高速列车气动阻力的基本分布特征,并针对国外下一代更高速列车的气动减阻技术进行了调研,尤其分析了欧洲、日本和韩国的下一代更高速列车气动减阻技术的特征,总结了国外下一代高速列车气动减阻的关键技术与方法.然后根据列车气动减阻技术实施部位的差异,从列车头型优化以及转向架、受电弓和风挡等局部结构优化两个方面对我国目前高速列车气动减阻技术研究现状进行了分析和梳理,同时归纳了新型气动减阻技术的研究现状.最后在综合国外下一代更高速列车气动减阻技术与我国气动减阻技术研究的基础上,对我国更高速(400+?km/h)列车气动减阻技术中可行性较高且效果明显的发展方向进行了展望与建议,为我国更高速列车气动减阻技术的设计与发展提供有价值的参考.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

酚醛树脂基纳米多孔材料的制备及结构调控

酚醛树脂基纳米多孔材料（Phenolic Resin-based Nanoporous Materials，PNM）是满足新一代航天飞行器轻质、高效隔热需求的新型热防护材料，传统制备方法中需使用超临界干燥技术，制备周期长、成本高。本研究通过两步法，即先合成线性酚醛树脂，再进行溶胶-凝胶的方法，实现了常压干燥PNM的制备。系统研究了固化剂含量、固化温度和固化时间对材料结构的影响和调控作用，分析了影响材料收缩率和热稳定性的因素。结果表明，PNM的微观纳米结构的变化会影响材料干燥后的收缩率，制备大颗粒、大孔径的微观结构更有利于降低材料的收缩率。而PNM的热稳定性主要受交联反应过程形成的化学结构的影响，通过优化固化剂的含量可提高PNM的热稳定性。当固化剂含量为10%，固化温度提高至150℃，固化时间延长至48 h的条件下，获得的PNM有最高的热稳定性（900℃下的残碳率为54.2%）、最发达的孔结构（比表面积为264.0 m²/g、孔容为2.67 cm³/g、平均孔径为40.0 nm）和最小的收缩率（0%）。此PNM制备方法简单、性能优异，在未来航天飞行器上有广阔的应用前景。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

差分卫星定位技术及其在武器系统中的应用

差分卫星定位系统可以极大地提高卫星定位的精度,但也有使用、维护复杂等缺点。针对差分卫星定位的特性,首先阐述了卫星差分定位的基本原理,分析了卫星定位误差源,并介绍了差分定位系统对各种误差的修正情况,然后介绍了差分定位系统的分类、方法及发展,其中详细介绍了在武器系统领域中应用较广的局域差分系统的各种方法及其优缺点;最后,对差分系统的实际应用进行了阐述,并重点探讨了其在进攻性武器及防御性武器领域实现应用的可行性。     

上升段飞行器目标的视频图像跟踪

粒子滤波是一种基于贝叶斯估计理论和蒙特卡罗理论的实时目标跟踪方法，具有较为灵活的并行化跟踪方式，能够较好地维持跟踪目标的假设状态，具有较好的跟踪效果和鲁棒性。上升段飞行器目标飞行视频图像跟踪是火箭等目标飞行监控的重要阶段，但现阶段对飞行器上升段的视频图像跟踪主要依靠人工手动操作云台控制器，实现视频图像中的飞行器跟踪，跟踪图像存在跟踪滞后、画面抖动等现象，跟踪效果受人为因素影响较大。本文提出一种基于粒子滤波方法的上升段飞行器目标视频图像跟踪方法，建立飞行器目标粒子滤波跟踪模型实现对飞行器目标的识别和跟踪，在识别和跟踪的基础上建立云台控制模型，通过对云台的智能控制获得飞行器上升段的高质量图像。采用火箭发射的视频图像作为模型验证的实验数据，检验飞行器目标的跟踪效果。     

具有软件特征的一种CTI应用模式

计算机电信集成技术是 2 0世纪 90年代新兴的计算机通信技术。通过使用最新的数字处理技术 ,CTI把计算机和通信紧密地结合到一起。本文论述目前CTI的发展趋势 ,即传统呼叫中心与WEB呼叫中心统一的方案向“软件”方向靠拢的趋势 ,核心是提出一种分层的CTI体系结构。     

预测悬停旋翼跨音速流动的一种组合自由尾流/CFD方法

一种新的组合自由尾流 / CFD方法用于悬停旋翼流动的 CFD解中以考虑实际尾流的作用 .用文中描述的尾流分析方法研究了螺旋尖涡的运动 .首先从广义尾流模型开始 ,用半经验公式模化了涡核对旋翼尾流的作用 ;然后在环量收敛和尾迹收敛的条件下完成了自由尾迹计算 ;最后应用 Jameson有限体积龙格 -库塔推进格式求解了欧拉方程 .所得结果与相关文献和实验数据进行了比较     

一种应用于超小型无人机的新型定高传感器

使用美国ICSENSOR公司的压阻硅式绝压传感器，对静压进行测量，并设计出适合超小型无人机使用的新型定高传感器，这种定高传感器具有灵敏度高，重量轻，单电源供电，板式结构。可靠性高，重复性好的特点，填补了应用于超小型无人机的定高传感器产品的空白。